RELENG  2014  —  Call  for  Papers,  Talks  &  Posters 2nd  International  Workshop  on  Release  Engineering April  11,  2014,  Mountain  View,  CA,  USA.  Graciously  hosted  by  Google! http:/

Source URL: releng.polymtl.ca

• Software project management
• Formal methods
• Software engineering
• Release engineering
• Software testing
• Software release life cycle
• IEEE Software
• École Polytechnique de Montréal
• Software development
• Software development process
• Software

Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA

Source URL: gallium.inria.fr

• Programming language theory
• Data types
• Formal methods
• Theoretical computer science
• Higher-order functions
• Type system
• Dependent type
• Lambda calculus
• Gallium
• Software engineering
• Computing
• Type theory

An SMT-LIB Format for Sequences and Regular Expressions Nikolaj Bjørner Microsoft Research Vijay Ganesh MIT

Source URL: research.microsoft.com

• Combinatorics
• Combinatorics on words
• Regular expressions
• Pattern matching
• Formal methods
• Fold
• Alphabet
• Sequence
• Satisfiability Modulo Theories
• Mathematics
• Formal languages
• Theoretical computer science

PDF Document

Source URL: ti.tuwien.ac.at

• Software engineering
• Logic in computer science
• Programming paradigms
• Association for Computing Machinery
• Models of computation
• Automata theory
• SIGNAL
• Formal verification
• Programming language
• Formal methods
• Computing
• Theoretical computer science

An Automata-Theoretic Approach to Hardware/Software Co-verification

Source URL: web.cecs.pdx.edu

• Mathematics
• Model checking
• PAT
• Linear temporal logic
• Formal methods
• Algorithm
• Correctness
• Logic
• Theoretical computer science
• Model checkers
• Applied mathematics

Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales ´n Departamento de Computacio A study of the Combination Problem:

Source URL: dc.uba.ar

• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Model theory
• Satisfiability Modulo Theories
• Satisfiability
• Boolean satisfiability problem
• Decision problem
• Theoretical computer science
• Mathematics
• Mathematical logic

Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK Roderick Chapman1 and Florian Schanda2 1 2

Source URL: proteancode.com

• Formal methods
• Logic in computer science
• Ada programming language
• Automated theorem proving
• SPARK
• Formal verification
• Isabelle
• Proof assistant
• Static program analysis
• Theoretical computer science
• Computing
• Applied mathematics

Note: the electronic PDF-version of this document contains hyperlinks for easy reference. Proposal for a Formal Methods 2008 Tutorial Formal Methods and Signal Processing Raymond Boute, INTEC—Ghent University, boute@i

Source URL: www.fm2008.abo.fi

• Formal methods
• Theoretical computer science
• Media technology
• Signal processing
• Edsger W. Dijkstra
• SIGNAL
• Systems modeling
• Algorithm
• Electrical engineering
• Computing
• Computer science
• Software engineering

Greetings! With this issue of the CARMA Global Messenger, we are excited to announce the establishment of a formal partnership with Sage Publications Inc.’s highly regarded journal Organizational Research Methods. CARM

Source URL: carma.wayne.edu

Aoste ost EPI presentation Sophia-Antipolis & Rocquencourt common with UNS/CNRS UMR I3S Robert de Simone

Source URL: leat.unice.fr

• Synchronous programming languages
• Electronic engineering
• Models of computation
• Electronics
• Formal methods
• Dataflow
• Synchronous Data Flow
• SIGNAL
• Kahn process networks
• Computing
• Computer architecture
• Hardware description languages